$\forall$$w$:World, $e$:E. FairFifo $\Rightarrow$ rcv?($e$) $\Rightarrow$ loc(sender($e$)) $=$ source(link($e$)) $\in$ Id